According to the realist, the meaning of a declarative, non-indexical sentence is the condition under which it is true and the truth-condition of an undecidable sentence can obtain or fail to obtain independently of our capacity, even in principle, to recognize that it obtains or that fails to do so.1 In a series of papers, beginning with “Truth” in 1959, Michael Dummett challenged the position that the classical notion of truth-condition occupied as the central notion of a theory of meaning, (...) and proposed that it should be replaced by the anti-realist (and intuitionistic) notion of assertability-condition. Taken together with normalization results obtained by Dag Prawitz, Dummett’s work truly opened up the anti-realist challenge at the level of proof-theoretical semantics.2 There has been since numerous rejoinders from partisans of classical logic, which were at times met with by attempts at watering down the anti-realist challenge, e.g., by arguing that anti-realism does not necessarily entail the adoption of intuitionistic logic. Only a few anti-realists, such as Crispin Wright and Neil Tennant, tried to look instead in the other direction, towards a more radical version of anti-realism which would entail deeper revisions of classical logic than those recommended by intuitionists.3 In this paper, which is largely programmatic, we shall also argue in favour of a radical anti-realism which would be a genuine alternative to the traditional anti-realism of Dummett and Prawitz. The debate about anti-realism has by now more or less run out of breath and we wish to provide it with a new lease on life, by taking into account the profound changes that took place in proof theory during the intervening years. We have in mind in particular the considerable development within Gentzen-style proof theory of non-classical, substructural logics other than intuitionistic logic, which seriously opens up the possibility that anti-realism, when properly understood, might end up justifying another logic, and the development of closer links between proof theory and computational complexity theory that has renewed interest in a radical form of anti-realism, namely strict finitism. (shrink)

Philosophy of Probability provides a comprehensive introduction to theoretical issues that occupy a central position in disciplines ranging from philosophy of ...

According to foundationalism, mathematical propositions form a complex objective structure we have to discover and in which each proposition depends for its truth on the propositions that precede and ground it. Proofs that only establish the truth of their conclusions are contrasted with proofs that give also the objective reason of that truth. Foundationalism claims that the cognitive resources required by these proofs are universally available. This paper tries to undermine that claim and to show that foundationalism is a dead (...) end. (shrink)

Beth has tried to vindicate the kantian doctrine of mathematical intuition in the frame of contemporary logic. The paper proposes a critical evaluation of this attempt. The theory of mathematical intuition that is exposed in the Critic of Pure Reason is twofold: on one hand, the intuition of the "first principles", as it is analyzed in the Aesthetics, on the other hand, the intuition which is involved in the proofs, as it is analyzed in the Methodology. Contrasting with most defenders (...) of Kant, who try to show that the first kind of intuition remains, in some way, compatible with the non-euclidean geometries, Beth wants to defend the second kind of intuition, by suggesting that it is nothing else than the "instanciation" method, well-known in the predicate calculus. I show that this strategy of defending Kant is unsuccessful. (shrink)

Résumé. En trente ans, le rapport d’Internet à l’entreprise scientifique a changé. Nous sommes passés d’un instrument de collaboration scientifique à un dispositif de réseaux sociaux qui assure la plus large diffusion à l’irrationalisme et à l’alt-factualisme. Pour comprendre ce changement, il convient de réexaminer les mécanismes de la convergence des opinions. La première source de cette convergence est l’existence d’un monde commun, qui nous expose aux mêmes faits et qui détermine par révision successive des croyances de chacun, sans que (...) la moindre communication soit requise, une convergence asymptotique des opinions, et ce quelles que soient les croyances de départ. Naturellement, si les faits connus par les uns sont communiqués aux autres, cette convergence s’accélère considérablement, si bien que nous devons considérer la connaissance comme le résultat d’une activité collective, et l’échange d’informations comme l’une de ses sources nécessaires. D’une part, cette coopération épistémique est naturelle et facilement implémentable : en vertu des propriétés caractéristiques de l’information, qui est un bien que nous conservons lorsque nous le donnons, le partage informationnel est exempt des difficultés qui affectent généralement la coopération. D’autre part, cette coopération est intrinsèquement productive : la collaboration entre celui qui sait que φ et celui qui sait que φ implique ψ met chacun des deux agents en possession de la connaissance de ψ, qui n’était pourtant détenue par personne avant l’échange. L’internet des débuts donne à cette coopération informationnelle une ampleur inégalée. La situation actuelle est différente. Un certain nombre de facteurs, dont la porosité croissante entre les scientifiques et le large public, ont mis au premier plan l’échange, non des informations factuelles, mais celui des opinions. Les biais notoires de la psychologie humaine, au premier rang desquels le biais de confirmation, tendent à inverser le rapport entre les faits et les opinions. On cherche les faits confirmant les opinions entretenues, on met en doute les faits récalcitrants et l’on crée des faits corroborants. En bref, on passe d’une problématique de la coopération à une logique de l’affiliation, segmentant l’internet en groupes doxastiques homogènes. (shrink)

Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.

RésuméSelon K. Gödel, les restrictions méthodologiques des constructivistes sont aberrantes, et le point de vue réaliste est beaucoup plus fécond: il est hi‐même parvenu à ses résultats logiques fondarnentaux en donnant une place à la notion de vérite, qui n'est pas de type combinatoire. Le premier théorème d'incomplétude est hi‐même un argument décisif en faveur du réalisme, si l'on accepte le principe d'«accessibilité» en vertu duquel nous pouvons décider de toutes les propriétés de nos constructions intellectuelles. Par ailleurs, il existe (...) un large spectre d'arguments permettant de statuer sur un énoncé indécidable dans un système formel. La thèse mécaniste, selon laquelle l'intelligence humaine peut être pensée sans distorsion significative sur le modèle d'une machine de Turing, est donc inacceptable.SummaryAccording to K. Gödel, the methodological restrictions of the constructivists are aberrant, and the realist point of view is much more fruitful. He reached these fundamental logical results himself by making place for a non‐cornbinatorial notion of truth. The first incompletness theorem is itself a decisive argument in favor of realism, provided that the principle of «accessibility» is accepted, by virtue of which we are capable of determining all the properties of our intellectual constructions. Moreover, there are numerous arguments that permit the evaluation of an undecidable statement in a formal system. The mechanistic thesis, according to which the functioning of the human mind, without significant distorsion, can be compared to a Turing machine, is now unacceptable.ZusammenfassungNach Gödel sind die methodologischen Einschränkungen der Konstruktivisten irrig, und er hält den realistischen Standpuukt für viel fruchtbarer. Er selbst erreichte seine grundlegenden logischen Ergebnisse dadurch, dass er Platz machte für einen nichtkombinatorischen Begriff der Wahrheit. Das erste Unvollständigkeitstheorem ist selbst ein entscheidendes Argument zugunsten des Realismus, sofern das «Zugänglichkeitsprinzip» akzeptiert wird, wonach wir fähig sind, alle Eigenschaften unserer intellektuellen Konstruktionen zu bestinmen. Zudem gibt es zahlreiche Argumente, die die Beurteilung einer unentscheidbaren Aussage in einem formalen System erlauben. Die mechanistische These, nach welcher das Funktionieren des menschlichen Geistes ohne wesentliche Verzerrung mit einer Turingmaschine verglichen werden kann, ist heute nicht mehr annehmbar. (shrink)

The paper is a defense of a strict form of anti-realism, competing the "in principle" form defended by Michael Dummett. It proposes to ground anti-realism on the basis of two principles ("immanence" and "implicitness") and to develop the consequences of these principles in the light of sub-structural logics.

Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist does; (...) one can also start by the object to go to the act, in the Realist mood; never the two shall meet. He is himself inclined to accept the first perspective as the right one and he has eventually developed an original version of antirealism which starts, not from considerations about the publicity of meaning, in the manner of Dummett, but from an epistemic standpoint, trying to search in a non-Fregean tradition of analysis of judgement and cognate notions a way of founding constructivist semantics. The present paper ploughes the same field. We concentrate on the significance, for Sundholm’s program, of the perspective that has been opened by Twardowski in his important essay on acts and products (1912. (shrink)

Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call "subjective consequence", i.e., the relation from epistemic reason to consequence and "objective consequence", i.e., grounding however allows for an interpretation according to which Bolzano advocates an "explicativist" conception of proof: proofs par excellence are those that reflect the (...) objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of demonstration. (shrink)

This paper can be read as an attempt at providing philosophical foundations to linear logic. The only plausible form of philosophical antirealism deals with practical feasibility rather than with effectivity in principle. The very notion of recognizability is ambiguous, audit has to be considered from a stricter perspective than currently done. The intuitionistic assertability conditions are to be reinforced. This change requires a move towards a frame in which the circumstances of the application of a logical rule can be specified. (...) Gentzen's sequential calculi provide such a frame, when some structural rules have been removed or limited. (shrink)

Les sciences cognitives poursuivent un objectif fort ancien, qui consiste, sommairement dit, à décrire et à expliquer les comportements intelligents. Elles appliquent à cet effet des principes méthodologiques moins traditionnels, dont l'adoption définit ce qu'il est convenu d'appeler le "tournant cognitif". Je me propose ici d'exposer brièvement ces principes, de les illustrer par des exemples appropriés et d’en discuter la signification philosophique. Pour l’essentiel, j’ai mis en avant un domaine qui me semble particulièrement pertinent pour les philosophes: l'analyse de la (...) catégorisation, c'est-à-dire du processus par lequel un ensemble d'entités (stimuli sonores ou visuels, objets concrets ou abstraits) en vient à être classifié en catégories séparées, qui peuvent être de type perceptif (phonèmes, couleurs) ou conceptuel (espèces naturelles, types d'événements, catégories esthétiques et morales). (shrink)

Bolzano fut le premier philosophe à établir une distinction explicite entre les procédés déductifs qui nous permettent de parvenir à la certitude d’une vérité et ceux qui fournissent son fondement objectif. La conception que Bolzano se fait du rapport entre ce que nous appelons ici, d’une part, « conséquence subjective », à savoir la relation de raison à conséquence épistémique et, d’autre part, la « conséquence objective », c’est-à-dire la fondation , suggère toutefois que Bolzano défendait une conception « explicativiste (...) » de la preuve : les preuves par excellence sont celles qui reflètent l’ordre de la fondation objective. Dans cet article nous faisons état des problèmes liés à une telle conception et argumentons en faveur d’une démarcation plus stricte entre la préoccupation ontologique et la préoccupation épistémologique dans l’élaboration d’une théorie de la preuve.Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call “subjective consequence”, i.e. the relation from epistemic reason to consequence and “objective consequence”, i.e. grounding however suggests that Bolzano advocated an “explicativist” conception of proof : proofs par excellence are those that reflect the objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of proof. (shrink)

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...) developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic. (shrink)

W ciągu 30 lat dokonała się głęboka przemiana w relacji między Internetem a aktywnością naukową. Nastąpiło przesunięcie funkcji Internetu, który przestał być jedynie instrumentem współpracy akademickiej, a stał się również narzędziem używanym przez media społecznościowe, zezwalające na maksymalną dyfuzję irracjonalizmu i starego faktualizmu. Aby zrozumieć tę przemianę, należy ponownie zbadać mechanizmy zbieżności opinii. Wynika ona z istnienia wspólnego świata, który ukazuje nam te same fakty i determinuje nieustanną rewizję przekonań każdej osoby. W tym procesie asymptotycznej zbieżności opinii nie wymaga się (...) żadnej komunikacji między jednostkami. Oczywiście, jeśli fakty znane przez jednych są komunikowane innym, konwergencja znacznie przyspiesza, i to tak bardzo, że wiedzę musimy ująć jako rezultat zbiorowej aktywności, w której wymiana informacji jest jednym z jej istotnych źródeł. Z jednej strony takie poznawcze współdziałanie wydaje się naturalne i łatwe do implementacji. Biorąc pod uwagę właściwości informacji, które przechowujemy, nawet jeśli je udostępniamy, to dzielenie się informacją przestaje być przedmiotem zwykłych trudności związanych ze współpracą. Z drugiej strony takie współdziałanie jest produktywne z samej natury: współpraca między kimś, kto zna φ, i kimś, kto wie, że φ implikuje ψ u obydwu jako mających wiedzę ψ, której żaden z nich nie posiadał przed wymianą informacji. Wczesny Internet pozwolił na ekstremalną intensywność tej informacyjnej współpracy. Obecnie mamy do czynienia z odmienną sytuacją. Poszczególne wyznaczniki rosnącej porowatości między naukowcami a opinią publiczną wzmocniły rolę wymiany. Nie jest to już wymiana informacji, lecz wymiana opinii. Stronniczość tkwiąca w naturze ludzkiej, a szczególnie potwierdzenie tej stronniczości, prowadzi do odwrócenia relacji między faktami a opiniami. Szukamy faktów potwierdzających podzielane przez nas opinie, wątpiąc w te, które ich nie określają, i tworzymy fakty do potwierdzenia tego, o czym jesteśmy przekonani. Dlatego przechodzimy od współdziałania do przynależności, dzieląc Internet na homogeniczne grupy wyznawców. (shrink)

As regards cognitive capacities, the point of view of classical Artificial Intelligence has been much challenged by the so-called emergentist point of view. This paper attempts to outline,on the basis of logical considerations dealing with practical feasibility, a general theory of incompressible unfolding that is consonant with an old Leibnizian stance rather with the contemporary theory of complexity. I defend a variant of emergentism according to which any process that leads to endow a system with cognitive capacities is such an (...) incompressible unfolding. (shrink)

This volume would not exist without the help of all those who contributed to the organisation of the MacColl centenary meeting (Boulogne-sur-Mer, 9--10 October 2009). We are especially grateful to Bruno Béthouart, Jacques Dubucs, Gerhard Heinzmann, and Shahid Rahman. We would also like to thank Michael Astroh, Sandrine Avril, Anny Bégard, Christian Berner, Pierre-Édouard Bour, Peggy Cardon, Emmanuelle Jablonsky, Christian Mac Coll, Tony Mann, Gildas Nzokou, Max Papyle, Bernard Quéh...

Over the course of an illustrious career, the late Bernard Diamond established himself as the preeminent forensic psychiatrist of the century. _The Psychiatrist in the Courtroom_ brings together in a single volume Diamond's pivotal contributions to a variety of important issues, including the nature of diminished capacity, the fallacy of the impartial expert, the predictability of dangerousness, and the unacceptability of hypnotically facilitated memory in courtroom proceedings. Ably introduced and edited by Jacques M. Quen, M.D., a close colleague of (...) Diamond's and leading historian of forensic psychiatry, these writings enable experts and neophytes alike to track Diamond's evolving positions while clarifying where current legal and psychiatric opinion converge -- and diverge -- on a host of critical topics. For the forensic specialist, _The Psychiatrist in the Courtroom_ is not only an invaluable reference work but a compassionate reminder of the clinician's obligation to protect patients in legal proceedings. And in an age when clinicians are increasingly called into court, the book will be no less valuable to psychoanalysts and other mental health professionals eager for an introduction to the intricacies of judicial reasoning. Then, too, owing to Diamond's clinical acumen, the book is a compelling human document. With great erudition and deep compassion, Diamond tackles these and other knotty questions, always with an eye to clarifying the legal and clinical implications of the answers. By combining superb clinical gifts with an incisive understanding of legal principle, Diamond produced a seminal corpus whose relevance to discussions of therapeutic ethics and to legal debates will continue well into the next century. (shrink)

In his Confessions Jean-Jacques Rousseau tells the story of his life, from the formative experience of his humble childhood in Geneva, through the achievement of international fame as novelist and philosopher in Paris, to his wanderings as an exile, persecuted by governments and alienated from the world of modern civilization. In trying to explain who he was and how he came to be the object of others' admiration and abuse, Rousseau analyses with unique insight the relationship between an elusive (...) but essential inner self and the variety of social identities he was led to adopt. The book vividly illustrates the mixture of moods and motives that underlie the writing of autobiography: defiance and vulnerability, self-exploration and denial, passion, puzzlement, and detachment. Above all, Confessions is Rousseau's search, through every resource of language, to convey what he despairs of putting into words: the personal quality of one's own existence. (shrink)

This book is not concerned with the use of Freudian concepts for the interpretation of literary and artistic works. Rather, it is concerned with why this interpretation plays such an important role in demonstrating the contemporary relevance of psychoanalytic concepts. In order for Freud to use the Oedipus complex as a means for the interpretation of texts, it was necessary first of all for a particular notion of Oedipus, belonging to the Romantic reinvention of Greek antiquity, to have produced a (...) certain idea of the power of that thought which does not think, and the power of that speech which remains silent. From this it does not follow that the Freudian unconscious was already prefigured by the aesthetic unconscious. Freud's 'aesthetic' analyses reveal instead a tension between the two forms of unconscious. In this concise and brilliant text Rancière brings out this tension and shows us what is at stake in this confrontation. (shrink)

Psycho-physical origins.-- Spatial nothingness.-- The origin of space.-- Moral facts and origins.-- Psycho-physical relationship.-- Morality and moral ideals.-- The economic solution.-- Principles of psychotherapy.

Réflexion sur la philosophie et les lettres qui tente de répondre à la question : qu'est-ce que penser pour un homme dont l'expérience vécue est la source de l'écriture?

This book asks the question, how could we convince or compel modern business to apply ethical standards and is it essential to the success of economy? In order to answer the question, this book examines the evolution of the activist business ethics in business, in democracies, Christianity, Judaism, Islam, Buddhism, in philosophy, psychology and psychoanalysis. The book examines international aspects, the personification of stakeholders, the predominance of values and ethics for CEOs and the inefficient safeguards of the stakeholders’ interests.

Divided beauty (Dresden, 1764) -- Little gods of the street (Munich-Berlin, 1828) -- Plebeian heaven (Paris, 1830) -- The poet of the new world (Boston, 1841-New York, 1855) -- The gymnasts of the impossible (Paris, 1879) -- The dance of light (Paris, Folies Bergère, 1893) -- The immobile theatre (Paris 1894-95) -- Decorative art as social art: temple, house, factory (Paris-London-Berlin) -- Master of surfaces (Paris, 1902) -- The temple staircase (Moscow-Dresden, 1912) -- The machine and its shadow (Hollywood, 1916) (...) -- The majesty of the moment (New York, 1921) -- Seeing things through things (Moscow, 1926) -- The cruel radiance of what is (Hale County, 1936-New York, 1941). (shrink)

This book begins with Derrida's text, based on a lecture he gave in Montreal and is followed by two texts commenting on it. Derrida gives one of his most precise developments on the notion of 'l'événement' (event), that which comes to disturb the course of history and thus escapes the normal ways of being told and understood. His thought on the topic is crucial for future research on literature as testimony, refering to abnormal conditions of experience whose nature exceeds usual (...) narrative norms. This work is on two components of European culture : French West Indian and Black British literature (memory of slavery) and Spanish literature (civil war and refugees camps). Ce volume prolonge les réflexions du séminaire tenu à Montréal, articulé autour de la question " Dire l'événement, est-ce possible ? ". Les contributions de Gad Soussana ("De l'événement depuis la nuit" suivi de "Arriver") et d'Alexis Nouss ("Parole sans voix") tentent d'en prendre la mesure à partir des problématiques de l'origine et du posthume. Mais l'essentiel, en elles, aura été de susciter la réponse de Jacques Derrida : " Une certaine possibilité impossible de dire l'événement ". Plus qu'une simple rencontre, ce séminaire explicite la présence d'une pensée de l'événement au cœur de l'œuvre littéraire et de l'œuvre philosophique. (shrink)